AI 行业资讯 - AI for Math

北大教授董彬：数学家应拥抱AI，更重视提出新问题

董彬在跨界对话中分享AI对数学界的冲击，称OpenAI公开722篇数学手稿后数学家纷纷评估自身领域“受灾程度”，其中3篇因错误被撤回；他回顾自己2016年转向深度学习、2023年转向大语言模型并组建AI4MATH团队，团队今年4月研发的Rethlas-Archon以近两万行Lean 4代码形式化验证否定安德森猜想，并判断AI自主验证推理能力是关键转折点，主张数学家应拥抱AI、重视提出新问题与新理论。